[プログラムの使い方の説明]

（１）まず、magma のプロンプトで load "CII_8.txt"; とタイプして、CII_8.txt をロードします。
（２）次に、同じく、load "Input_web.txt"; とタイプして、入力ファイルの Input_web.txt をロードします。
（３）次に、time CII(パズル名);　とタイプすると、そのパズルのCII　を計算します。先頭に, time とつけると、計算時間を測ってくれます。計算は、ほとんどの場合，数分程度かかります．

下記に、パズル L12 のCII を計算した出力結果をコピーしておきます。
この計算から、L12 のCII は(6,3,3) であることがわかります。この計算には、約２分ほどかかっています。

-----------------------------------------------------------------------------

Magma V2.20-10    Tue Feb 02 2016 09:40:17 on NakanoS10 [Seed = 818519182]
Type ? for help.  Type <Ctrl>-D to quit.
> load "CII_8.txt";
Loading "C:\Program Files (x86)\Magma2014\Magma\libs\examples\CII_8.txt"
> load "Input_web.txt";
Loading "C:\Program Files (x86)\Magma2014\Magma\libs\examples\Input_web.txt"
> time CII(L12);
#(solution polynomials) =  27
level= 1
[#(branches),#(variables)]= [ 2, 1 ]
/////
#(solution polynomials) =  42
level= 2
NSleaf_2 //////////
#(solution polynomials) =  31
level= 2
[#(branches),#(variables)]= [ 2, 1 ]
/////
#(solution polynomials) =  46
level= 3
NSleaf_2 //////////
#(solution polynomials) =  81
level= 3
SolutionLeaf //////////
[ 6, 3, 3 ]
1
Time: 123.085
>

----------------------------------------------------------------